<html>
    <head>
        <title></title>
    </head>
    <body>
        <?php
		//Recogida del identificador desde la pagina anterior via GET
        $dni_prof = $_GET['dni_prof'];

        //include de la conexion a la base de datos
		require_once('inc/conexion.php');

        //borramos el profesor de la base de datos utilizando su dni como identificador
		$consulta = "DELETE FROM profesores WHERE dni ='".$dni_prof."'";

        //comprobacion que la consulta se ha realizado correctamente
		if(mysql_query($consulta, $conexion)){
            echo "<b>Profesor borrado correctamente</b>";
        }
        else{
            echo "Ocurri&oacute; un <b>error</b> inesperado";
        }
        mysql_close($conexion);
        ?>	
    </body>
</html>
